<?php
/**
 * Created by litong on Date: 2018/12/22 0022 上午 10:24
 */
$x=10.365;
var_dump($x);
echo "<br/>";
$x=2.4e3;
var_dump($x);
echo "<br/>";
$x=8E-5;
var_dump($x);
?>